(function (document) {
  %@;
});
